Actually pass the devel profile to flatpak builds

I added that to the manifests, and did not notice that
we do the last build step manually :(

diff --git a/.gitlab-ci/flatpak-build.sh b/.gitlab-ci/flatpak-build.sh
index 72397cc7ea6d03bb18504c9e6f47a739df792c54..661780067c78586bc30d3b74e550219009726afa 100644 (file)
--- a/.gitlab-ci/flatpak-build.sh
+++ b/.gitlab-ci/flatpak-build.sh
@@ -24,6 +24,7 @@ flatpak build ${builddir} meson \
                 -Dbuild-examples=false \
                 -Dintrospection=disabled \
                 -Ddemos=true \
+                -Dprofile=devel \
                 _flatpak_build
 
 flatpak build ${builddir} ninja -C _flatpak_build install